Company HR showing me that there are, in fact, rules pertaining to “Casual Fridays”